1

On Aronszajn trees with a non-Souslin base

Year:
1982
Language:
english
File:
PDF, 834 KB
english, 1982
2

On a refinement of anti-Souslin tree property

Year:
1996
Language:
english
File:
PDF, 614 KB
english, 1996
3

An Extension of the Notion of Relativization to Hilbert's ϵ-Symbol

Year:
1980
Language:
english
File:
PDF, 372 KB
english, 1980
5

A more efficient algorithm for MPR problems in phylogeny

Year:
1997
Language:
english
File:
PDF, 497 KB
english, 1997
6

An interpolation theorem in many-valued logic

Year:
1986
Language:
english
File:
PDF, 402 KB
english, 1986
7

An Interpolation Theorem in Many-Valued Logic

Year:
1986
Language:
english
File:
PDF, 182 KB
english, 1986
8

On a classification of Aroszajn trees

Year:
1980
Language:
english
File:
PDF, 995 KB
english, 1980
9

On a classification of Aronszajn trees Ⅱ

Year:
1981
Language:
english
File:
PDF, 1.10 MB
english, 1981
10

On axiom schemata applicable to the formulae with $\epsilon$-symbols

Year:
1990
Language:
english
File:
PDF, 614 KB
english, 1990
12

A theory of ordinal numbers with Ackermann's schema

Year:
1978
Language:
english
File:
PDF, 1.43 MB
english, 1978